COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.SS(Problems,,P11:)
C00004 ENDMK
C⊗;
.SS(Problems,,P11:)
%1
.BEGIN TABIT1(40);CENTERIT;
.GROUP
I Evaluate the following

←%21.%3 eq[X;Y]   %22.%3 cons[X;Y]   %23.%3 car[(X . Y)]   %24.%3 car[cons[X;Y]]

%25.%3 cadr[(X .(Y . NIL))]   \%26.%3 cdar[(X .(Y . NIL))]
.APART

%27.%3 eq[cdr[(A . B)];cdr[(C . B)]]   \%28.%3 atom[cons[(A . B);(C . D)]]

%29.%3 cons[atom[A];atom[(A . B)]]   \%210.%3 eq[atom[ATOM];atom[EQ]]

←%211.%3 [T → A; T → B]   %212.%3 [NIL → A; T → B]   %213.%3 [eq[A;B] → 4]

%214.%3 [atom[X] → atom[X]; T → FOO]   \%215.%3 [eq[EQ;X] → A; eq[A;B] → B; T → C]

←%216.%3 cons[[eq[A;B] → 1; T → FOO];cons[A;cadr[(A .(B .C))]]]

%217.%3 equal[(A . B);(A . B)] \%218.%3 eq[(A . B);(A . B)]
.END